$\forall$$i$, $j$, $x$:Id. link\_$x$ from $i$ to $j$ $\in$ IdLnk